DisCSP.CSP
Class PropagationAlgorithm

java.lang.Object
  DisCSP.CSP.PropagationAlgorithm

public class PropagationAlgorithm

extends java.lang.Object

Constructor Summary

PropagationAlgorithm()
Costruttore di PropagationAlgorithm

Method Summary

java.lang.String[]

arc_consistency(ConstraintProblem constrProbl) Rende un CP arc-consistente

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PropagationAlgorithm

public PropagationAlgorithm()

Costruttore di PropagationAlgorithm

Method Detail

arc_consistency

public java.lang.String[] arc_consistency(ConstraintProblem constrProbl)
                                   throws NoSolutionException,
                                          ExistentVarException,
                                          UnknownVariableException

Rende un CP arc-consistente

Parameters:

constrProbl - il problema

Returns:

i nomi delle variabili i cui domini sono stati modificati

Throws:

NoSolutionException

ExistentVarException

UnknownVariableException